Detailed conclusion table per each integral for all CAS systems

[next] [prev] [prev-tail] [tail] [up]

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is deﬁned as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table ﬁt, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.


Problem 1	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	17	17	17	14	13	13	12	13	13	0
N.S.	1	1.00	1.00	0.82	0.76	0.76	0.71	0.76	0.76	0.00
time (sec)	N/A	0.005	0.002	0.039	1.297	0.352	0.098	0.162	0.022	0.000


Problem 2	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	17	17	17	14	13	13	12	13	13	0
N.S.	1	1.00	1.00	0.82	0.76	0.76	0.71	0.76	0.76	0.00
time (sec)	N/A	0.004	0.002	0.041	1.303	0.357	0.085	0.147	0.022	0.000


Problem 3	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	17	17	17	14	13	13	12	13	13	0
N.S.	1	1.00	1.00	0.82	0.76	0.76	0.71	0.76	0.76	0.00
time (sec)	N/A	0.003	0.000	0.043	1.349	0.346	0.059	0.146	0.019	0.000


Problem 4	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	12	12	12	11	10	10	8	10	10	12
N.S.	1	1.00	1.00	0.92	0.83	0.83	0.67	0.83	0.83	1.00
time (sec)	N/A	0.003	0.000	0.045	1.338	0.375	0.064	0.146	0.017	0.012


Problem 5	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	13	13	13	12	11	11	10	14	11	0
N.S.	1	1.00	1.00	0.92	0.85	0.85	0.77	1.08	0.85	0.00
time (sec)	N/A	0.005	0.001	0.052	1.304	0.386	0.110	0.150	0.024	0.000


Problem 6	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	30	30	30	25	24	24	26	24	24	0
N.S.	1	1.00	1.00	0.83	0.80	0.80	0.87	0.80	0.80	0.00
time (sec)	N/A	0.015	0.001	0.040	1.307	0.359	0.071	0.148	0.041	0.000


Problem 7	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	30	30	30	25	24	24	24	24	24	0
N.S.	1	1.00	1.00	0.83	0.80	0.80	0.80	0.80	0.80	0.00
time (sec)	N/A	0.020	0.001	0.038	1.341	0.340	0.071	0.157	0.033	0.000


Problem 8	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	30	30	30	25	24	24	26	24	24	0
N.S.	1	1.00	1.00	0.83	0.80	0.80	0.87	0.80	0.80	0.00
time (sec)	N/A	0.011	0.002	0.043	1.318	0.352	0.073	0.150	0.030	0.000


Problem 9	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	16	16	16	25	24	24	24	24	24	27
N.S.	1	1.00	1.00	1.56	1.50	1.50	1.50	1.50	1.50	1.69
time (sec)	N/A	0.007	0.002	0.042	1.292	0.371	0.073	0.197	0.031	0.012


Problem 10	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	25	25	25	22	21	21	22	21	21	25
N.S.	1	1.00	1.00	0.88	0.84	0.84	0.88	0.84	0.84	1.00
time (sec)	N/A	0.012	0.001	0.051	1.296	0.390	0.078	0.152	0.030	0.021


Problem 11	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	46	46	46	37	36	36	42	36	36	0
N.S.	1	1.00	1.00	0.80	0.78	0.78	0.91	0.78	0.78	0.00
time (sec)	N/A	0.016	0.002	0.036	1.332	0.347	0.074	0.153	0.039	0.000


Problem 12	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	27	27	27	24	23	22	20	24	22	0
N.S.	1	1.00	1.00	0.89	0.85	0.81	0.74	0.89	0.81	0.00
time (sec)	N/A	0.023	0.005	0.043	1.322	0.386	0.152	0.155	0.040	0.000


Problem 13	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	31	31	31	27	26	82	56	26	23	0
N.S.	1	1.00	1.00	0.87	0.84	2.65	1.81	0.84	0.74	0.00
time (sec)	N/A	0.016	0.009	0.044	2.942	0.423	0.166	0.148	4.913	0.000


Problem 14	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	15	15	15	14	13	13	10	14	13	0
N.S.	1	1.00	1.00	0.93	0.87	0.87	0.67	0.93	0.87	0.00
time (sec)	N/A	0.007	0.002	0.044	1.423	0.403	0.128	0.191	4.916	0.000


Problem 15	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	24	24	24	16	15	67	53	15	16	0
N.S.	1	1.00	1.00	0.67	0.62	2.79	2.21	0.62	0.67	0.00
time (sec)	N/A	0.009	0.004	0.044	2.947	0.409	0.147	0.153	0.045	0.000


Problem 16	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	22	22	22	21	20	18	15	24	18	0
N.S.	1	1.00	1.00	0.95	0.91	0.82	0.68	1.09	0.82	0.00
time (sec)	N/A	0.012	0.005	0.046	1.343	0.399	0.211	0.147	0.063	0.001


Problem 17	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	34	34	34	30	29	82	65	29	26	0
N.S.	1	1.00	1.00	0.88	0.85	2.41	1.91	0.85	0.76	0.00
time (sec)	N/A	0.017	0.013	0.049	2.962	0.418	0.222	0.153	4.956	0.000


Problem 18	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	35	35	35	32	31	33	31	43	31	0
N.S.	1	1.00	1.00	0.91	0.89	0.94	0.89	1.23	0.89	0.00
time (sec)	N/A	0.026	0.007	0.051	1.269	0.402	0.292	0.167	0.060	0.001


Problem 19	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	43	43	43	39	40	106	87	40	37	0
N.S.	1	1.00	1.00	0.91	0.93	2.47	2.02	0.93	0.86	0.00
time (sec)	N/A	0.026	0.023	0.047	2.967	0.420	0.252	0.153	4.937	0.000


Problem 20	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	49	49	49	44	44	45	42	57	46	0
N.S.	1	1.00	1.00	0.90	0.90	0.92	0.86	1.16	0.94	0.00
time (sec)	N/A	0.033	0.007	0.054	1.388	0.407	0.335	0.157	0.062	0.001


Problem 21	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	45	45	45	36	35	120	78	35	33	0
N.S.	1	1.00	1.00	0.80	0.78	2.67	1.73	0.78	0.73	0.00
time (sec)	N/A	0.015	0.027	0.049	2.984	0.427	0.236	0.169	4.955	0.001


Problem 22	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	38	38	33	35	34	47	34	47	34	0
N.S.	1	1.00	0.87	0.92	0.89	1.24	0.89	1.24	0.89	0.00
time (sec)	N/A	0.028	0.018	0.054	1.402	0.410	0.334	0.158	0.049	0.000


Problem 23	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	57	57	54	46	49	136	92	47	44	0
N.S.	1	1.00	0.95	0.81	0.86	2.39	1.61	0.82	0.77	0.00
time (sec)	N/A	0.018	0.038	0.055	2.961	0.422	0.329	0.152	4.975	0.000


Problem 24	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	49	49	41	46	50	73	51	51	51	0
N.S.	1	1.00	0.84	0.94	1.02	1.49	1.04	1.04	1.04	0.00
time (sec)	N/A	0.039	0.037	0.054	1.365	0.402	0.411	0.209	0.053	0.000


Problem 25	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	68	68	67	59	64	172	114	59	58	0
N.S.	1	1.00	0.99	0.87	0.94	2.53	1.68	0.87	0.85	0.00
time (sec)	N/A	0.029	0.040	0.061	2.918	0.412	0.386	0.168	5.026	0.001


Problem 26	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	A	A	A	B	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	13	13	29	22	21	21	19	23	11	0
N.S.	1	1.00	2.23	1.69	1.62	1.62	1.46	1.77	0.85	0.00
time (sec)	N/A	0.011	0.005	0.046	1.375	0.402	0.107	0.174	4.977	0.000


Problem 27	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	20	20	18	19	18	14	14	15	14	0
N.S.	1	1.00	0.90	0.95	0.90	0.70	0.70	0.75	0.70	0.00
time (sec)	N/A	0.015	0.003	0.041	1.322	0.389	0.084	0.151	0.036	0.000


Problem 28	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	B	B	B	B	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	6	6	22	17	16	16	14	18	6	0
N.S.	1	1.00	3.67	2.83	2.67	2.67	2.33	3.00	1.00	0.00
time (sec)	N/A	0.008	0.003	0.049	1.294	0.394	0.108	0.166	0.058	0.000


Problem 29	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	12	12	12	14	13	8	8	15	8	0
N.S.	1	1.00	1.00	1.17	1.08	0.67	0.67	1.25	0.67	0.00
time (sec)	N/A	0.006	0.002	0.046	1.295	0.391	0.099	0.148	0.029	0.000


Problem 30	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	A	B	B	B	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	2	2	19	3	13	13	12	15	2	0
N.S.	1	1.00	9.50	1.50	6.50	6.50	6.00	7.50	1.00	0.00
time (sec)	N/A	0.004	0.002	0.039	1.279	0.409	0.116	0.168	0.033	0.000


Problem 31	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	15	15	15	16	15	11	10	16	11	0
N.S.	1	1.00	1.00	1.07	1.00	0.73	0.67	1.07	0.73	0.00
time (sec)	N/A	0.008	0.003	0.057	1.317	0.393	0.106	0.156	4.960	0.000


Problem 32	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	B	B	B	B	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	8	8	24	19	18	20	15	20	8	0
N.S.	1	1.00	3.00	2.38	2.25	2.50	1.88	2.50	1.00	0.00
time (sec)	N/A	0.008	0.003	0.051	1.327	0.407	0.125	0.153	0.033	0.000


Problem 33	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	22	22	22	21	20	24	17	26	16	0
N.S.	1	1.00	1.00	0.95	0.91	1.09	0.77	1.18	0.73	0.00
time (sec)	N/A	0.015	0.004	0.049	1.292	0.395	0.113	0.151	0.033	0.000


Problem 34	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	A	A	B	A	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	15	15	31	24	25	30	24	27	13	0
N.S.	1	1.00	2.07	1.60	1.67	2.00	1.60	1.80	0.87	0.00
time (sec)	N/A	0.010	0.004	0.057	1.263	0.404	0.137	0.148	4.924	0.000


Problem 35	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	29	29	29	26	27	30	22	33	23	0
N.S.	1	1.00	1.00	0.90	0.93	1.03	0.76	1.14	0.79	0.00
time (sec)	N/A	0.016	0.004	0.046	1.346	0.381	0.131	0.160	0.033	0.000


Problem 36	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	15	15	15	14	13	13	12	18	14	0
N.S.	1	1.00	1.00	0.93	0.87	0.87	0.80	1.20	0.93	0.00
time (sec)	N/A	0.009	0.004	0.045	1.289	0.396	0.150	0.149	4.950	0.000


Problem 37	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	18	18	18	16	15	15	12	18	16	0
N.S.	1	1.00	1.00	0.89	0.83	0.83	0.67	1.00	0.89	0.00
time (sec)	N/A	0.010	0.004	0.047	1.262	0.385	0.143	0.148	0.052	0.000


Problem 38	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F(-1)	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	159	159	130	212	0	376	0	100	-1	124
N.S.	1	1.00	0.82	1.33	0.00	2.36	0.00	0.63	-0.01	0.78
time (sec)	N/A	0.248	0.213	0.092	0.000	0.449	0.000	0.325	0.000	0.127


Problem 39	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F(-1)	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	126	126	77	70	0	108	0	80	-1	75
N.S.	1	1.00	0.61	0.56	0.00	0.86	0.00	0.63	-0.01	0.60
time (sec)	N/A	0.200	0.042	0.044	0.000	0.414	0.000	0.214	0.000	0.107


Problem 40	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F(-1)	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	130	130	120	198	0	348	0	86	-1	110
N.S.	1	1.00	0.92	1.52	0.00	2.68	0.00	0.66	-0.01	0.85
time (sec)	N/A	0.206	0.286	0.078	0.000	0.435	0.000	0.305	0.000	0.115


Problem 41	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F(-1)	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	101	101	66	59	0	97	0	64	-1	64
N.S.	1	1.00	0.65	0.58	0.00	0.96	0.00	0.63	-0.01	0.63
time (sec)	N/A	0.161	0.034	0.046	0.000	0.412	0.000	0.205	0.000	0.107


Problem 42	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	B	F(-1)	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	25	25	25	27	0	61	0	17	-1	32
N.S.	1	1.00	1.00	1.08	0.00	2.44	0.00	0.68	-0.04	1.28
time (sec)	N/A	0.037	0.019	0.048	0.000	0.394	0.000	0.293	0.000	0.105


Problem 43	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F(-1)	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	76	76	55	48	0	86	0	50	-1	53
N.S.	1	1.00	0.72	0.63	0.00	1.13	0.00	0.66	-0.01	0.70
time (sec)	N/A	0.119	0.028	0.047	0.000	0.412	0.000	0.200	0.000	0.115


Problem 44	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F(-1)	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	51	51	44	37	0	76	0	29	-1	42
N.S.	1	1.00	0.86	0.73	0.00	1.49	0.00	0.57	-0.02	0.82
time (sec)	N/A	0.075	0.024	0.063	0.000	0.432	0.000	0.291	0.000	0.108


Problem 45	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F(-1)	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	51	51	44	37	0	75	0	33	-1	35
N.S.	1	1.00	0.86	0.73	0.00	1.47	0.00	0.65	-0.02	0.69
time (sec)	N/A	0.074	0.023	0.058	0.000	0.431	0.000	0.303	0.000	0.634


Problem 46	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F(-1)	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	76	76	55	48	0	87	0	43	-1	46
N.S.	1	1.00	0.72	0.63	0.00	1.14	0.00	0.57	-0.01	0.61
time (sec)	N/A	0.113	0.023	0.048	0.000	0.412	0.000	0.284	0.000	0.916


Problem 47	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	B	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	25	25	25	27	0	63	0	23	-1	25
N.S.	1	1.00	1.00	1.08	0.00	2.52	0.00	0.92	-0.04	1.00
time (sec)	N/A	0.037	0.016	0.042	0.000	0.429	0.000	0.197	0.000	0.501


Problem 48	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F(-1)	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	101	101	66	59	0	95	0	55	-1	57
N.S.	1	1.00	0.65	0.58	0.00	0.94	0.00	0.54	-0.01	0.56
time (sec)	N/A	0.157	0.025	0.043	0.000	0.401	0.000	0.248	0.000	0.892


Problem 49	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	B	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	130	130	43	217	0	360	0	114	-1	99
N.S.	1	1.00	0.33	1.67	0.00	2.77	0.00	0.88	-0.01	0.76
time (sec)	N/A	0.203	0.014	0.054	0.000	0.442	0.000	0.267	0.000	1.036


Problem 50	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	126	126	77	70	0	110	0	90	-1	68
N.S.	1	1.00	0.61	0.56	0.00	0.87	0.00	0.71	-0.01	0.54
time (sec)	N/A	0.192	0.041	0.049	0.000	0.473	0.000	0.269	0.000	1.347


Problem 51	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	159	159	44	234	0	396	0	104	-1	113
N.S.	1	1.00	0.28	1.47	0.00	2.49	0.00	0.65	-0.01	0.71
time (sec)	N/A	0.241	0.023	0.057	0.000	0.428	0.000	0.250	0.000	1.949


Problem 52	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	152	152	88	81	0	121	0	147	-1	79
N.S.	1	1.00	0.58	0.53	0.00	0.80	0.00	0.97	-0.01	0.52
time (sec)	N/A	0.233	0.045	0.045	0.000	0.519	0.000	0.324	0.000	2.792


Problem 53	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	189	189	46	247	0	422	0	138	-1	126
N.S.	1	1.00	0.24	1.31	0.00	2.23	0.00	0.73	-0.01	0.67
time (sec)	N/A	0.293	0.027	0.061	0.000	0.428	0.000	0.267	0.000	3.423


Problem 54	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	180	180	99	92	0	132	0	202	-1	90
N.S.	1	1.00	0.55	0.51	0.00	0.73	0.00	1.12	-0.01	0.50
time (sec)	N/A	0.285	0.043	0.046	0.000	0.554	0.000	0.412	0.000	5.047


Problem 55	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	55	55	81	997	0	133	0	45	-1	62
N.S.	1	1.00	1.47	18.13	0.00	2.42	0.00	0.82	-0.02	1.13
time (sec)	N/A	0.070	0.050	0.089	0.000	0.565	0.000	0.298	0.000	0.539


Problem 56	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	32	32	61	979	0	94	0	23	-1	39
N.S.	1	1.00	1.91	30.59	0.00	2.94	0.00	0.72	-0.03	1.22
time (sec)	N/A	0.032	0.032	0.087	0.000	0.574	0.000	0.210	0.000	0.409


Problem 57	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	23	23	23	27	26	19	0	14	19	23
N.S.	1	1.00	1.00	1.17	1.13	0.83	0.00	0.61	0.83	1.00
time (sec)	N/A	0.034	0.029	0.041	1.461	0.420	0.000	0.222	5.134	0.441


Problem 58	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	48	48	31	35	38	29	0	30	27	33
N.S.	1	1.00	0.65	0.73	0.79	0.60	0.00	0.62	0.56	0.69
time (sec)	N/A	0.066	0.028	0.040	1.512	0.418	0.000	0.192	5.129	0.461


Problem 59	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	74	74	44	48	50	40	0	47	40	44
N.S.	1	1.00	0.59	0.65	0.68	0.54	0.00	0.64	0.54	0.59
time (sec)	N/A	0.102	0.028	0.046	1.494	0.428	0.000	0.199	5.266	0.505


Problem 60	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	174	174	151	223	0	0	0	111	-1	113
N.S.	1	1.00	0.87	1.28	0.00	0.00	0.00	0.64	-0.01	0.65
time (sec)	N/A	0.151	0.187	0.093	0.000	0.000	0.000	0.288	0.000	0.306


Problem 61	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	116	116	129	181	0	0	0	83	-1	95
N.S.	1	1.00	1.11	1.56	0.00	0.00	0.00	0.72	-0.01	0.82
time (sec)	N/A	0.087	0.116	0.051	0.000	0.000	0.000	0.312	0.000	0.247


Problem 62	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	56	56	88	83	0	0	0	54	72	65
N.S.	1	1.00	1.57	1.48	0.00	0.00	0.00	0.96	1.29	1.16
time (sec)	N/A	0.060	0.053	0.049	0.000	0.000	0.000	0.285	5.243	0.196


Problem 63	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	25	25	25	159	0	19	0	25	-1	25
N.S.	1	1.00	1.00	6.36	0.00	0.76	0.00	1.00	-0.04	1.00
time (sec)	N/A	0.038	0.009	0.055	0.000	0.855	0.000	0.177	0.000	0.144


Problem 64	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	84	84	48	218	0	42	0	84	-1	48
N.S.	1	1.00	0.57	2.60	0.00	0.50	0.00	1.00	-0.01	0.57
time (sec)	N/A	0.117	0.052	0.066	0.000	0.901	0.000	0.234	0.000	0.168


Problem 65	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	142	142	72	262	0	64	0	146	-1	72
N.S.	1	1.00	0.51	1.85	0.00	0.45	0.00	1.03	-0.01	0.51
time (sec)	N/A	0.203	0.054	0.065	0.000	0.704	0.000	0.191	0.000	0.201


Problem 66	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	200	200	96	306	0	86	0	208	-1	96
N.S.	1	1.00	0.48	1.53	0.00	0.43	0.00	1.04	-0.00	0.48
time (sec)	N/A	0.297	0.062	0.068	0.000	0.765	0.000	0.198	0.000	0.228


Problem 67	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	B	F	F(-1)	F	F(-2)	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	197	197	64	549	0	0	0	0	-1	137
N.S.	1	1.00	0.32	2.79	0.00	0.00	0.00	0.00	-0.01	0.70
time (sec)	N/A	0.175	0.065	0.062	0.000	0.000	0.000	0.000	0.000	0.505


Problem 68	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	B	F	F(-1)	F	F(-2)	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	139	139	64	503	0	0	0	0	-1	119
N.S.	1	1.00	0.46	3.62	0.00	0.00	0.00	0.00	-0.01	0.86
time (sec)	N/A	0.127	0.075	0.064	0.000	0.000	0.000	0.000	0.000	0.520


Problem 69	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	B	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	77	77	64	236	0	0	0	94	-1	90
N.S.	1	1.00	0.83	3.06	0.00	0.00	0.00	1.22	-0.01	1.17
time (sec)	N/A	0.074	0.043	0.048	0.000	0.000	0.000	0.321	0.000	0.386


Problem 70	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	25	25	25	404	0	36	0	34	40	31
N.S.	1	1.00	1.00	16.16	0.00	1.44	0.00	1.36	1.60	1.24
time (sec)	N/A	0.005	0.019	0.059	0.000	0.771	0.000	0.190	5.426	0.275


Problem 71	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	79	79	48	524	0	63	0	0	-1	57
N.S.	1	1.00	0.61	6.63	0.00	0.80	0.00	0.00	-0.01	0.72
time (sec)	N/A	0.122	0.082	0.066	0.000	0.815	0.000	0.000	0.000	0.304


Problem 72	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	137	137	72	570	0	87	0	0	-1	81
N.S.	1	1.00	0.53	4.16	0.00	0.64	0.00	0.00	-0.01	0.59
time (sec)	N/A	0.202	0.078	0.064	0.000	1.157	0.000	0.000	0.000	0.328


Problem 73	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	195	195	96	614	0	109	0	0	-1	105
N.S.	1	1.00	0.49	3.15	0.00	0.56	0.00	0.00	-0.01	0.54
time (sec)	N/A	0.300	0.085	0.067	0.000	0.870	0.000	0.000	0.000	0.347


Problem 74	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	204	204	164	245	0	0	0	125	-1	126
N.S.	1	1.00	0.80	1.20	0.00	0.00	0.00	0.61	-0.00	0.62
time (sec)	N/A	0.172	0.264	0.055	0.000	0.000	0.000	0.283	0.000	0.354


Problem 75	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	146	146	142	203	0	0	0	97	-1	108
N.S.	1	1.00	0.97	1.39	0.00	0.00	0.00	0.66	-0.01	0.74
time (sec)	N/A	0.120	0.209	0.054	0.000	0.000	0.000	0.406	0.000	0.299


Problem 76	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	87	87	102	160	0	0	0	69	-1	86
N.S.	1	1.00	1.17	1.84	0.00	0.00	0.00	0.79	-0.01	0.99
time (sec)	N/A	0.079	0.117	0.051	0.000	0.000	0.000	0.269	0.000	0.275


Problem 77	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	34	34	65	136	0	0	0	37	-1	40
N.S.	1	1.00	1.91	4.00	0.00	0.00	0.00	1.09	-0.03	1.18
time (sec)	N/A	0.049	0.074	0.050	0.000	0.000	0.000	0.263	0.000	0.144


Problem 78	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	54	54	37	194	0	29	0	53	-1	37
N.S.	1	1.00	0.69	3.59	0.00	0.54	0.00	0.98	-0.02	0.69
time (sec)	N/A	0.074	0.061	0.063	0.000	0.703	0.000	0.189	0.000	0.162


Problem 79	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	112	112	59	240	0	50	0	115	-1	59
N.S.	1	1.00	0.53	2.14	0.00	0.45	0.00	1.03	-0.01	0.53
time (sec)	N/A	0.154	0.069	0.060	0.000	0.851	0.000	0.211	0.000	0.183


Problem 80	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	170	170	83	284	0	72	0	177	-1	83
N.S.	1	1.00	0.49	1.67	0.00	0.42	0.00	1.04	-0.01	0.49
time (sec)	N/A	0.245	0.086	0.065	0.000	0.710	0.000	0.236	0.000	0.196


Problem 81	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	B	F	F(-1)	F	F(-2)	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	171	171	62	527	0	0	0	0	-1	124
N.S.	1	1.00	0.36	3.08	0.00	0.00	0.00	0.00	-0.01	0.73
time (sec)	N/A	0.147	0.083	0.064	0.000	0.000	0.000	0.000	0.000	0.451


Problem 82	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	B	F	F(-1)	F	F(-2)	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	113	113	62	440	0	0	0	0	-1	106
N.S.	1	1.00	0.55	3.89	0.00	0.00	0.00	0.00	-0.01	0.94
time (sec)	N/A	0.103	0.068	0.060	0.000	0.000	0.000	0.000	0.000	0.466


Problem 83	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	F	F(-1)	F	F(-2)	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	60	60	79	240	0	0	0	0	-1	76
N.S.	1	1.00	1.32	4.00	0.00	0.00	0.00	0.00	-0.02	1.27
time (sec)	N/A	0.067	0.113	0.049	0.000	0.000	0.000	0.000	0.000	0.303


Problem 84	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	F	B	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	30	30	45	111	0	54	0	26	-1	46
N.S.	1	1.00	1.50	3.70	0.00	1.80	0.00	0.87	-0.03	1.53
time (sec)	N/A	0.047	0.042	0.059	0.000	0.629	0.000	0.183	0.000	0.280


Problem 85	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	107	107	57	548	0	79	0	0	-1	70
N.S.	1	1.00	0.53	5.12	0.00	0.74	0.00	0.00	-0.01	0.65
time (sec)	N/A	0.156	0.051	0.063	0.000	0.646	0.000	0.000	0.000	0.311


Problem 86	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	165	165	83	592	0	101	0	0	-1	96
N.S.	1	1.00	0.50	3.59	0.00	0.61	0.00	0.00	-0.01	0.58
time (sec)	N/A	0.257	0.069	0.067	0.000	0.579	0.000	0.000	0.000	0.348


Problem 87	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	223	223	107	636	0	123	0	0	-1	120
N.S.	1	1.00	0.48	2.85	0.00	0.55	0.00	0.00	-0.00	0.54
time (sec)	N/A	0.353	0.066	0.094	0.000	0.479	0.000	0.000	0.000	0.357


Problem 88	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	371	371	181	156	0	0	0	396	-1	185
N.S.	1	1.00	0.49	0.42	0.00	0.00	0.00	1.07	-0.00	0.50
time (sec)	N/A	0.627	0.184	0.070	0.000	0.000	0.000	0.223	0.000	0.117


Problem 89	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	283	283	144	123	0	0	0	312	-1	133
N.S.	1	1.00	0.51	0.43	0.00	0.00	0.00	1.10	-0.00	0.47
time (sec)	N/A	0.441	0.130	0.048	0.000	0.000	0.000	0.216	0.000	0.102


Problem 90	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	195	195	107	90	0	0	0	228	-1	96
N.S.	1	1.00	0.55	0.46	0.00	0.00	0.00	1.17	-0.01	0.49
time (sec)	N/A	0.273	0.090	0.049	0.000	0.000	0.000	0.194	0.000	0.073


Problem 91	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	109	109	70	57	0	0	0	143	40	74
N.S.	1	1.00	0.64	0.52	0.00	0.00	0.00	1.31	0.37	0.68
time (sec)	N/A	0.137	0.047	0.045	0.000	0.000	0.000	0.184	5.192	0.056


Problem 92	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	23	23	23	27	0	0	0	23	-1	23
N.S.	1	1.00	1.00	1.17	0.00	0.00	0.00	1.00	-0.04	1.00
time (sec)	N/A	0.040	0.012	0.039	0.000	0.000	0.000	0.208	0.000	0.050


Problem 93	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	90	90	57	80	0	0	0	72	-1	76
N.S.	1	1.00	0.63	0.89	0.00	0.00	0.00	0.80	-0.01	0.84
time (sec)	N/A	0.139	0.055	0.049	0.000	0.000	0.000	0.280	0.000	0.186


Problem 94	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	178	178	57	125	0	0	0	126	-1	112
N.S.	1	1.00	0.32	0.70	0.00	0.00	0.00	0.71	-0.01	0.63
time (sec)	N/A	0.296	0.075	0.061	0.000	0.000	0.000	0.278	0.000	0.258


Problem 95	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	266	266	57	167	0	0	0	177	-1	149
N.S.	1	1.00	0.21	0.63	0.00	0.00	0.00	0.67	-0.00	0.56
time (sec)	N/A	0.475	0.050	0.059	0.000	0.000	0.000	0.352	0.000	0.291


Problem 96	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	354	354	57	209	0	0	0	228	-1	186
N.S.	1	1.00	0.16	0.59	0.00	0.00	0.00	0.64	-0.00	0.53
time (sec)	N/A	0.660	0.052	0.061	0.000	0.000	0.000	0.432	0.000	0.391


Problem 97	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	B	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	343	343	172	145	0	0	0	770	-1	198
N.S.	1	1.00	0.50	0.42	0.00	0.00	0.00	2.24	-0.00	0.58
time (sec)	N/A	0.616	0.161	0.048	0.000	0.000	0.000	0.308	0.000	4.514


Problem 98	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	B	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	255	255	135	112	0	0	0	602	-1	161
N.S.	1	1.00	0.53	0.44	0.00	0.00	0.00	2.36	-0.00	0.63
time (sec)	N/A	0.422	0.112	0.051	0.000	0.000	0.000	0.303	0.000	4.497


Problem 99	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	169	169	98	79	0	0	0	434	40	98
N.S.	1	1.00	0.58	0.47	0.00	0.00	0.00	2.57	0.24	0.58
time (sec)	N/A	0.249	0.070	0.049	0.000	0.000	0.000	0.230	5.141	4.467


Problem 100	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	B	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	84	84	63	48	0	0	0	265	-1	87
N.S.	1	1.00	0.75	0.57	0.00	0.00	0.00	3.15	-0.01	1.04
time (sec)	N/A	0.139	0.080	0.051	0.000	0.000	0.000	0.211	0.000	4.539


Problem 101	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	78	78	88	69	0	0	0	83	-1	90
N.S.	1	1.00	1.13	0.88	0.00	0.00	0.00	1.06	-0.01	1.15
time (sec)	N/A	0.137	0.104	0.051	0.000	0.000	0.000	0.231	0.000	10.825


Problem 102	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	113	113	61	93	0	0	0	92	-1	117
N.S.	1	1.00	0.54	0.82	0.00	0.00	0.00	0.81	-0.01	1.04
time (sec)	N/A	0.184	0.074	0.061	0.000	0.000	0.000	0.261	0.000	16.118


Problem 103	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	203	203	61	139	0	0	0	143	-1	152
N.S.	1	1.00	0.30	0.68	0.00	0.00	0.00	0.70	-0.00	0.75
time (sec)	N/A	0.340	0.054	0.062	0.000	0.000	0.000	0.368	0.000	17.126


Problem 104	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F(-1)	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	291	291	61	181	0	0	0	194	-1	189
N.S.	1	1.00	0.21	0.62	0.00	0.00	0.00	0.67	-0.00	0.65
time (sec)	N/A	0.522	0.060	0.059	0.000	0.000	0.000	0.383	0.000	18.450


Problem 105	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F(-1)	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	379	379	61	223	0	0	0	245	-1	226
N.S.	1	1.00	0.16	0.59	0.00	0.00	0.00	0.65	-0.00	0.60
time (sec)	N/A	0.718	0.096	0.069	0.000	0.000	0.000	0.472	0.000	19.894


Problem 106	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	401	401	185	167	0	0	0	206	-1	185
N.S.	1	1.00	0.46	0.42	0.00	0.00	0.00	0.51	-0.00	0.46
time (sec)	N/A	0.728	0.229	0.051	0.000	0.000	0.000	0.299	0.000	0.131


Problem 107	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	313	313	148	134	0	0	0	164	-1	148
N.S.	1	1.00	0.47	0.43	0.00	0.00	0.00	0.52	-0.00	0.47
time (sec)	N/A	0.531	0.141	0.044	0.000	0.000	0.000	0.188	0.000	0.105


Problem 108	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	225	225	111	101	0	0	0	122	-1	111
N.S.	1	1.00	0.49	0.45	0.00	0.00	0.00	0.54	-0.00	0.49
time (sec)	N/A	0.346	0.128	0.046	0.000	0.000	0.000	0.269	0.000	0.101


Problem 109	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	137	137	74	68	0	0	0	80	-1	74
N.S.	1	1.00	0.54	0.50	0.00	0.00	0.00	0.58	-0.01	0.54
time (sec)	N/A	0.180	0.084	0.049	0.000	0.000	0.000	0.176	0.000	0.065


Problem 110	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	47	47	36	36	0	0	0	36	40	36
N.S.	1	1.00	0.77	0.77	0.00	0.00	0.00	0.77	0.85	0.77
time (sec)	N/A	0.050	0.038	0.044	0.000	0.000	0.000	0.488	5.219	0.043


Problem 111	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	61	61	90	61	0	0	0	51	-1	61
N.S.	1	1.00	1.48	1.00	0.00	0.00	0.00	0.84	-0.02	1.00
time (sec)	N/A	0.093	0.130	0.050	0.000	0.000	0.000	0.217	0.000	0.137


Problem 112	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	153	153	48	126	0	0	0	109	-1	101
N.S.	1	1.00	0.31	0.82	0.00	0.00	0.00	0.71	-0.01	0.66
time (sec)	N/A	0.239	0.063	0.048	0.000	0.000	0.000	0.260	0.000	0.206


Problem 113	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	241	241	48	188	0	0	0	160	-1	138
N.S.	1	1.00	0.20	0.78	0.00	0.00	0.00	0.66	-0.00	0.57
time (sec)	N/A	0.408	0.079	0.050	0.000	0.000	0.000	0.310	0.000	0.218


Problem 114	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	329	329	48	248	0	0	0	211	-1	175
N.S.	1	1.00	0.15	0.75	0.00	0.00	0.00	0.64	-0.00	0.53
time (sec)	N/A	0.577	0.071	0.053	0.000	0.000	0.000	0.359	0.000	0.247


Problem 115	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	336	336	161	143	0	0	0	214	-1	165
N.S.	1	1.00	0.48	0.43	0.00	0.00	0.00	0.64	-0.00	0.49
time (sec)	N/A	0.599	0.192	0.050	0.000	0.000	0.000	0.245	0.000	3.985


Problem 116	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	248	248	122	110	0	0	0	163	-1	128
N.S.	1	1.00	0.49	0.44	0.00	0.00	0.00	0.66	-0.00	0.52
time (sec)	N/A	0.414	0.127	0.052	0.000	0.000	0.000	0.215	0.000	3.937


Problem 117	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	160	160	85	77	0	0	0	112	-1	91
N.S.	1	1.00	0.53	0.48	0.00	0.00	0.00	0.70	-0.01	0.57
time (sec)	N/A	0.242	0.100	0.052	0.000	0.000	0.000	0.228	0.000	4.183


Problem 118	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	68	68	60	45	0	0	0	60	-1	54
N.S.	1	1.00	0.88	0.66	0.00	0.00	0.00	0.88	-0.01	0.79
time (sec)	N/A	0.084	0.063	0.047	0.000	0.000	0.000	0.219	0.000	3.974


Problem 119	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	60	60	45	56	0	0	0	71	40	71
N.S.	1	1.00	0.75	0.93	0.00	0.00	0.00	1.18	0.67	1.18
time (sec)	N/A	0.056	0.042	0.051	0.000	0.000	0.000	0.212	5.358	2.651


Problem 120	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	146	146	48	88	0	0	0	105	-1	128
N.S.	1	1.00	0.33	0.60	0.00	0.00	0.00	0.72	-0.01	0.88
time (sec)	N/A	0.241	0.088	0.057	0.000	0.000	0.000	0.259	0.000	4.342


Problem 121	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	236	236	48	126	0	0	0	156	-1	165
N.S.	1	1.00	0.20	0.53	0.00	0.00	0.00	0.66	-0.00	0.70
time (sec)	N/A	0.410	0.076	0.064	0.000	0.000	0.000	0.391	0.000	12.491


Problem 122	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	324	324	48	159	0	0	0	207	-1	202
N.S.	1	1.00	0.15	0.49	0.00	0.00	0.00	0.64	-0.00	0.62
time (sec)	N/A	0.597	0.075	0.069	0.000	0.000	0.000	0.376	0.000	17.211


Problem 123	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	F(-1)	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	412	412	48	192	0	0	0	258	-1	239
N.S.	1	1.00	0.12	0.47	0.00	0.00	0.00	0.63	-0.00	0.58
time (sec)	N/A	0.840	0.089	0.079	0.000	0.000	0.000	0.452	0.000	18.971


Problem 124	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	17	17	17	14	13	13	12	13	13	0
N.S.	1	1.00	1.00	0.82	0.76	0.76	0.71	0.76	0.76	0.00
time (sec)	N/A	0.009	0.001	0.037	1.334	0.397	0.061	0.187	0.022	0.000


Problem 125	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	17	17	17	14	13	13	12	13	13	0
N.S.	1	1.00	1.00	0.82	0.76	0.76	0.71	0.76	0.76	0.00
time (sec)	N/A	0.008	0.001	0.040	1.337	0.440	0.061	0.150	0.022	0.000


Problem 126	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	17	17	17	14	13	13	12	13	13	0
N.S.	1	1.00	1.00	0.82	0.76	0.76	0.71	0.76	0.76	0.00
time (sec)	N/A	0.003	0.000	0.045	1.337	0.505	0.067	0.161	0.022	0.000


Problem 127	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	17	17	17	14	13	13	12	13	13	15
N.S.	1	1.00	1.00	0.82	0.76	0.76	0.71	0.76	0.76	0.88
time (sec)	N/A	0.006	0.001	0.055	1.363	0.614	0.062	0.147	0.020	0.016


Problem 128	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	12	12	12	11	10	10	8	10	10	12
N.S.	1	1.00	1.00	0.92	0.83	0.83	0.67	0.83	0.83	1.00
time (sec)	N/A	0.004	0.001	0.046	1.344	0.501	0.062	0.146	0.017	0.013


Problem 129	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	30	30	30	25	24	24	24	24	24	0
N.S.	1	1.00	1.00	0.83	0.80	0.80	0.80	0.80	0.80	0.00
time (sec)	N/A	0.031	0.002	0.045	1.354	0.345	0.070	0.150	0.040	0.000


Problem 130	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	30	30	30	25	24	24	26	24	24	0
N.S.	1	1.00	1.00	0.83	0.80	0.80	0.87	0.80	0.80	0.00
time (sec)	N/A	0.017	0.002	0.056	1.205	0.336	0.070	0.148	0.033	0.000


Problem 131	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	30	30	30	25	24	24	24	24	24	0
N.S.	1	1.00	1.00	0.83	0.80	0.80	0.80	0.80	0.80	0.00
time (sec)	N/A	0.013	0.002	0.043	1.332	0.353	0.070	0.160	0.031	0.000


Problem 132	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	30	30	30	25	24	24	26	24	24	30
N.S.	1	1.00	1.00	0.83	0.80	0.80	0.87	0.80	0.80	1.00
time (sec)	N/A	0.017	0.002	0.038	1.270	0.387	0.072	0.166	0.034	0.024


Problem 133	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	30	30	30	25	24	24	24	24	24	30
N.S.	1	1.00	1.00	0.83	0.80	0.80	0.80	0.80	0.80	1.00
time (sec)	N/A	0.016	0.002	0.046	1.326	0.383	0.070	0.152	0.032	0.021


Problem 134	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	57	57	57	52	52	52	49	53	51	0
N.S.	1	1.00	1.00	0.91	0.91	0.91	0.86	0.93	0.89	0.00
time (sec)	N/A	0.036	0.028	0.043	1.274	0.390	0.143	0.151	5.093	0.001


Problem 135	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	44	44	44	41	42	41	37	43	40	0
N.S.	1	1.00	1.00	0.93	0.95	0.93	0.84	0.98	0.91	0.00
time (sec)	N/A	0.027	0.004	0.043	1.305	0.396	0.131	0.140	0.042	0.001


Problem 136	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	31	31	31	30	29	29	26	30	29	0
N.S.	1	1.00	1.00	0.97	0.94	0.94	0.84	0.97	0.94	0.00
time (sec)	N/A	0.021	0.004	0.045	1.366	0.387	0.120	0.191	0.041	0.001


Problem 137	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	18	18	18	19	18	17	14	19	18	0
N.S.	1	1.00	1.00	1.06	1.00	0.94	0.78	1.06	1.00	0.00
time (sec)	N/A	0.016	0.003	0.049	1.300	0.376	0.114	0.148	0.036	0.000


Problem 138	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	10	10	10	11	10	10	7	11	10	0
N.S.	1	1.00	1.00	1.10	1.00	1.00	0.70	1.10	1.00	0.00
time (sec)	N/A	0.007	0.001	0.042	1.323	0.376	0.071	0.146	0.022	0.000


Problem 139	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	18	18	18	19	18	16	10	20	15	0
N.S.	1	1.00	1.00	1.06	1.00	0.89	0.56	1.11	0.83	0.00
time (sec)	N/A	0.007	0.004	0.047	1.297	0.385	0.164	0.160	5.120	0.000


Problem 140	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	28	28	28	29	28	26	19	30	25	0
N.S.	1	1.00	1.00	1.04	1.00	0.93	0.68	1.07	0.89	0.00
time (sec)	N/A	0.015	0.005	0.050	1.357	0.396	0.198	0.153	0.052	0.001


Problem 141	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	42	42	42	41	40	41	31	45	38	0
N.S.	1	1.00	1.00	0.98	0.95	0.98	0.74	1.07	0.90	0.00
time (sec)	N/A	0.021	0.032	0.053	1.366	0.395	0.214	0.153	0.059	0.000


Problem 142	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	56	56	56	53	51	54	44	56	48	0
N.S.	1	1.00	1.00	0.95	0.91	0.96	0.79	1.00	0.86	0.00
time (sec)	N/A	0.027	0.006	0.053	1.332	0.385	0.235	0.161	0.061	0.001


Problem 143	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	58	58	54	57	59	73	54	62	62	0
N.S.	1	1.00	0.93	0.98	1.02	1.26	0.93	1.07	1.07	0.00
time (sec)	N/A	0.040	0.023	0.052	1.307	0.380	0.210	0.172	0.038	0.001


Problem 144	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	46	46	43	45	47	62	44	48	50	0
N.S.	1	1.00	0.93	0.98	1.02	1.35	0.96	1.04	1.09	0.00
time (sec)	N/A	0.030	0.015	0.048	1.317	0.385	0.207	0.155	0.045	0.001


Problem 145	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	33	33	29	34	36	47	31	34	36	0
N.S.	1	1.00	0.88	1.03	1.09	1.42	0.94	1.03	1.09	0.00
time (sec)	N/A	0.024	0.014	0.050	1.277	0.387	0.183	0.150	0.040	0.001


Problem 146	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	23	23	20	24	26	28	20	24	23	0
N.S.	1	1.00	0.87	1.04	1.13	1.22	0.87	1.04	1.00	0.00
time (sec)	N/A	0.018	0.007	0.049	1.330	0.383	0.141	0.154	0.037	0.001


Problem 147	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	12	12	12	13	13	13	10	12	12	0
N.S.	1	1.00	1.00	1.08	1.08	1.08	0.83	1.00	1.00	0.00
time (sec)	N/A	0.007	0.003	0.049	1.301	0.378	0.141	0.146	5.169	0.001


Problem 148	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	29	29	24	30	28	39	22	31	26	0
N.S.	1	1.00	0.83	1.03	0.97	1.34	0.76	1.07	0.90	0.00
time (sec)	N/A	0.019	0.013	0.065	1.291	0.379	0.219	0.150	0.045	0.001


Problem 149	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	42	42	35	43	45	63	37	45	41	0
N.S.	1	1.00	0.83	1.02	1.07	1.50	0.88	1.07	0.98	0.00
time (sec)	N/A	0.024	0.051	0.051	1.306	0.399	0.272	0.155	5.343	0.001


Problem 150	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	58	58	53	57	64	86	54	64	57	0
N.S.	1	1.00	0.91	0.98	1.10	1.48	0.93	1.10	0.98	0.00
time (sec)	N/A	0.032	0.089	0.059	1.316	0.402	0.311	0.152	5.315	0.001


Problem 151	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	69	69	66	68	73	95	66	73	69	0
N.S.	1	1.00	0.96	0.99	1.06	1.38	0.96	1.06	1.00	0.00
time (sec)	N/A	0.039	0.070	0.051	1.343	0.394	0.330	0.147	0.071	0.001


Problem 152	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	84	84	79	79	86	108	80	86	79	0
N.S.	1	1.00	0.94	0.94	1.02	1.29	0.95	1.02	0.94	0.00
time (sec)	N/A	0.052	0.047	0.054	1.366	0.398	0.362	0.153	0.077	0.000


Problem 153	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	105	105	53	57	53	62	0	131	62	66
N.S.	1	1.00	0.50	0.54	0.50	0.59	0.00	1.25	0.59	0.63
time (sec)	N/A	0.120	0.042	0.043	1.459	0.381	0.000	0.163	5.487	0.048


Problem 154	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	80	80	42	46	42	51	0	108	51	55
N.S.	1	1.00	0.52	0.58	0.52	0.64	0.00	1.35	0.64	0.69
time (sec)	N/A	0.074	0.044	0.046	1.444	0.393	0.000	0.157	5.475	0.039


Problem 155	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	52	52	31	35	30	39	0	81	39	43
N.S.	1	1.00	0.60	0.67	0.58	0.75	0.00	1.56	0.75	0.83
time (sec)	N/A	0.043	0.024	0.049	1.417	0.382	0.000	0.180	5.302	0.025


Problem 156	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	B	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	25	25	23	27	12	26	0	50	-1	25
N.S.	1	1.00	0.92	1.08	0.48	1.04	0.00	2.00	-0.04	1.00
time (sec)	N/A	0.036	0.011	0.041	1.426	0.402	0.000	0.155	0.000	0.034


Problem 157	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	51	51	53	51	0	111	0	67	73	51
N.S.	1	1.00	1.04	1.00	0.00	2.18	0.00	1.31	1.43	1.00
time (sec)	N/A	0.049	0.033	0.043	0.000	0.411	0.000	0.165	5.357	0.070


Problem 158	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	52	52	48	56	0	127	0	45	-1	52
N.S.	1	1.00	0.92	1.08	0.00	2.44	0.00	0.87	-0.02	1.00
time (sec)	N/A	0.052	0.054	0.053	0.000	0.409	0.000	0.257	0.000	0.067


Problem 159	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	84	84	42	73	0	149	0	72	-1	69
N.S.	1	1.00	0.50	0.87	0.00	1.77	0.00	0.86	-0.01	0.82
time (sec)	N/A	0.092	0.013	0.055	0.000	0.419	0.000	0.209	0.000	0.073


Problem 160	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	112	112	42	89	0	175	0	92	-1	80
N.S.	1	1.00	0.38	0.79	0.00	1.56	0.00	0.82	-0.01	0.71
time (sec)	N/A	0.138	0.014	0.056	0.000	0.407	0.000	0.268	0.000	0.077


Problem 161	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	161	161	80	79	86	95	0	282	80	87
N.S.	1	1.00	0.50	0.49	0.53	0.59	0.00	1.75	0.50	0.54
time (sec)	N/A	0.231	0.048	0.048	1.520	0.399	0.000	0.179	5.238	4.699


Problem 162	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	136	136	69	68	75	84	0	246	69	75
N.S.	1	1.00	0.51	0.50	0.55	0.62	0.00	1.81	0.51	0.55
time (sec)	N/A	0.172	0.040	0.051	1.549	0.391	0.000	0.193	5.237	4.560


Problem 163	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	108	108	58	57	64	73	0	210	58	84
N.S.	1	1.00	0.54	0.53	0.59	0.68	0.00	1.94	0.54	0.78
time (sec)	N/A	0.141	0.029	0.043	1.439	0.399	0.000	0.234	5.187	4.718


Problem 164	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	80	80	47	46	53	62	0	173	47	70
N.S.	1	1.00	0.59	0.58	0.66	0.78	0.00	2.16	0.59	0.88
time (sec)	N/A	0.133	0.027	0.045	1.547	0.397	0.000	0.239	5.175	4.661


Problem 165	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	52	52	36	35	41	50	0	136	36	60
N.S.	1	1.00	0.69	0.67	0.79	0.96	0.00	2.62	0.69	1.15
time (sec)	N/A	0.083	0.021	0.039	1.468	0.390	0.000	0.180	5.174	6.438


Problem 166	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	25	25	23	27	28	37	0	89	28	28
N.S.	1	1.00	0.92	1.08	1.12	1.48	0.00	3.56	1.12	1.12
time (sec)	N/A	0.041	0.014	0.041	1.388	0.401	0.000	0.162	5.618	8.588


Problem 167	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	74	74	68	61	0	130	0	85	-1	76
N.S.	1	1.00	0.92	0.82	0.00	1.76	0.00	1.15	-0.01	1.03
time (sec)	N/A	0.096	0.047	0.048	0.000	0.417	0.000	0.174	0.000	10.833


Problem 168	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	73	73	40	72	0	136	0	62	-1	75
N.S.	1	1.00	0.55	0.99	0.00	1.86	0.00	0.85	-0.01	1.03
time (sec)	N/A	0.093	0.015	0.055	0.000	0.432	0.000	0.207	0.000	13.190


Problem 169	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	81	81	72	74	0	154	0	70	-1	82
N.S.	1	1.00	0.89	0.91	0.00	1.90	0.00	0.86	-0.01	1.01
time (sec)	N/A	0.092	0.051	0.059	0.000	0.431	0.000	0.265	0.000	15.705


Problem 170	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	109	109	42	87	0	175	0	92	-1	97
N.S.	1	1.00	0.39	0.80	0.00	1.61	0.00	0.84	-0.01	0.89
time (sec)	N/A	0.134	0.022	0.056	0.000	0.433	0.000	0.229	0.000	15.701


Problem 171	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	137	137	42	101	0	197	0	109	-1	109
N.S.	1	1.00	0.31	0.74	0.00	1.44	0.00	0.80	-0.01	0.80
time (sec)	N/A	0.184	0.017	0.053	0.000	0.424	0.000	0.241	0.000	16.005


Problem 172	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	165	165	42	113	0	219	0	126	-1	121
N.S.	1	1.00	0.25	0.68	0.00	1.33	0.00	0.76	-0.01	0.73
time (sec)	N/A	0.236	0.029	0.054	0.000	0.414	0.000	0.267	0.000	16.399


Problem 173	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	103	103	53	55	53	51	0	0	51	55
N.S.	1	1.00	0.51	0.53	0.51	0.50	0.00	0.00	0.50	0.53
time (sec)	N/A	0.148	0.041	0.048	1.462	0.388	0.000	0.000	5.188	0.047


Problem 174	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	75	75	42	44	42	40	0	0	40	44
N.S.	1	1.00	0.56	0.59	0.56	0.53	0.00	0.00	0.53	0.59
time (sec)	N/A	0.100	0.027	0.046	1.459	0.391	0.000	0.000	5.201	0.041


Problem 175	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	49	49	30	33	30	28	0	0	31	32
N.S.	1	1.00	0.61	0.67	0.61	0.57	0.00	0.00	0.63	0.65
time (sec)	N/A	0.055	0.021	0.043	1.433	0.391	0.000	0.000	5.164	0.032


Problem 176	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	23	23	21	25	12	21	0	26	17	23
N.S.	1	1.00	0.91	1.09	0.52	0.91	0.00	1.13	0.74	1.00
time (sec)	N/A	0.010	0.008	0.043	1.410	0.404	0.000	0.197	5.142	0.026


Problem 177	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	30	30	46	39	0	74	0	45	-1	30
N.S.	1	1.00	1.53	1.30	0.00	2.47	0.00	1.50	-0.03	1.00
time (sec)	N/A	0.011	0.010	0.044	0.000	0.415	0.000	0.159	0.000	0.038


Problem 178	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	F(-2)	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	54	54	66	55	0	127	0	0	-1	54
N.S.	1	1.00	1.22	1.02	0.00	2.35	0.00	0.00	-0.02	1.00
time (sec)	N/A	0.049	0.064	0.048	0.000	0.400	0.000	0.000	0.000	0.061


Problem 179	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	F(-2)	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	87	87	40	77	0	153	0	0	44	69
N.S.	1	1.00	0.46	0.89	0.00	1.76	0.00	0.00	0.51	0.79
time (sec)	N/A	0.091	0.011	0.046	0.000	0.410	0.000	0.000	5.408	0.074


Problem 180	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	F(-2)	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	115	115	40	95	0	175	0	0	-1	80
N.S.	1	1.00	0.35	0.83	0.00	1.52	0.00	0.00	-0.01	0.70
time (sec)	N/A	0.135	0.011	0.055	0.000	0.423	0.000	0.000	0.000	0.074


Problem 181	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	98	98	50	56	41	60	0	0	57	54
N.S.	1	1.00	0.51	0.57	0.42	0.61	0.00	0.00	0.58	0.55
time (sec)	N/A	0.151	0.035	0.046	1.481	0.397	0.000	0.000	5.282	3.874


Problem 182	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	72	72	39	46	30	49	0	0	47	42
N.S.	1	1.00	0.54	0.64	0.42	0.68	0.00	0.00	0.65	0.58
time (sec)	N/A	0.105	0.018	0.048	1.442	0.381	0.000	0.000	5.223	3.917


Problem 183	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	47	47	26	34	19	38	0	28	35	37
N.S.	1	1.00	0.55	0.72	0.40	0.81	0.00	0.60	0.74	0.79
time (sec)	N/A	0.057	0.014	0.047	1.536	0.389	0.000	0.280	5.175	2.409


Problem 184	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	21	21	19	27	12	29	0	37	28	30
N.S.	1	1.00	0.90	1.29	0.57	1.38	0.00	1.76	1.33	1.43
time (sec)	N/A	0.018	0.007	0.044	1.479	0.380	0.000	0.226	5.074	2.193


Problem 185	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	F(-2)	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	52	52	35	54	0	156	0	0	-1	63
N.S.	1	1.00	0.67	1.04	0.00	3.00	0.00	0.00	-0.02	1.21
time (sec)	N/A	0.058	0.029	0.053	0.000	0.409	0.000	0.000	0.000	2.410


Problem 186	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	F(-2)	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	75	75	36	62	0	189	0	0	-1	76
N.S.	1	1.00	0.48	0.83	0.00	2.52	0.00	0.00	-0.01	1.01
time (sec)	N/A	0.086	0.010	0.059	0.000	0.415	0.000	0.000	0.000	3.793


Problem 187	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	110	110	38	76	0	219	0	0	42	95
N.S.	1	1.00	0.35	0.69	0.00	1.99	0.00	0.00	0.38	0.86
time (sec)	N/A	0.105	0.019	0.057	0.000	0.409	0.000	0.000	5.432	3.723


Problem 188	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	138	138	38	86	0	241	0	0	-1	107
N.S.	1	1.00	0.28	0.62	0.00	1.75	0.00	0.00	-0.01	0.78
time (sec)	N/A	0.186	0.010	0.061	0.000	0.415	0.000	0.000	0.000	4.041


Problem 189	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	F	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	166	166	38	100	0	263	0	0	44	119
N.S.	1	1.00	0.23	0.60	0.00	1.58	0.00	0.00	0.27	0.72
time (sec)	N/A	0.232	0.012	0.064	0.000	0.429	0.000	0.000	5.683	6.307


Problem 190	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	125	125	104	103	0	180	0	64	-1	106
N.S.	1	1.00	0.83	0.82	0.00	1.44	0.00	0.51	-0.01	0.85
time (sec)	N/A	0.169	0.135	0.069	0.000	0.418	0.000	0.204	0.000	0.183


Problem 191	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	95	95	90	92	0	159	0	52	-1	95
N.S.	1	1.00	0.95	0.97	0.00	1.67	0.00	0.55	-0.01	1.00
time (sec)	N/A	0.125	0.055	0.048	0.000	0.407	0.000	0.185	0.000	0.163


Problem 192	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	60	60	73	78	0	131	0	38	-1	75
N.S.	1	1.00	1.22	1.30	0.00	2.18	0.00	0.63	-0.02	1.25
time (sec)	N/A	0.083	0.043	0.049	0.000	0.431	0.000	0.178	0.000	0.139


Problem 193	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	34	34	55	58	0	77	0	23	-1	50
N.S.	1	1.00	1.62	1.71	0.00	2.26	0.00	0.68	-0.03	1.47
time (sec)	N/A	0.042	0.018	0.047	0.000	0.423	0.000	0.175	0.000	0.090


Problem 194	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	25	25	23	27	0	21	0	30	-1	25
N.S.	1	1.00	0.92	1.08	0.00	0.84	0.00	1.20	-0.04	1.00
time (sec)	N/A	0.038	0.010	0.037	0.000	0.390	0.000	0.236	0.000	0.091


Problem 195	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	56	56	31	33	0	29	0	55	-1	35
N.S.	1	1.00	0.55	0.59	0.00	0.52	0.00	0.98	-0.02	0.62
time (sec)	N/A	0.077	0.016	0.063	0.000	0.403	0.000	0.214	0.000	0.118


Problem 196	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	86	86	44	46	0	40	0	77	-1	46
N.S.	1	1.00	0.51	0.53	0.00	0.47	0.00	0.90	-0.01	0.53
time (sec)	N/A	0.118	0.016	0.045	0.000	0.397	0.000	0.202	0.000	0.135


Problem 197	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	116	116	55	57	0	51	0	103	-1	57
N.S.	1	1.00	0.47	0.49	0.00	0.44	0.00	0.89	-0.01	0.49
time (sec)	N/A	0.163	0.020	0.045	0.000	0.403	0.000	0.211	0.000	0.145


Problem 198	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	32	32	30	36	0	38	0	0	54	0
N.S.	1	1.00	0.94	1.12	0.00	1.19	0.00	0.00	1.69	0.00
time (sec)	N/A	0.025	0.016	0.046	0.000	0.413	0.000	0.000	5.281	0.097


Problem 199	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F(-1)	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	70	70	44	50	0	70	0	0	98	0
N.S.	1	1.00	0.63	0.71	0.00	1.00	0.00	0.00	1.40	0.00
time (sec)	N/A	0.054	0.023	0.048	0.000	0.421	0.000	0.000	5.275	0.068


Problem 200	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F(-1)	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	116	116	72	84	0	111	0	0	157	0
N.S.	1	1.00	0.62	0.72	0.00	0.96	0.00	0.00	1.35	0.00
time (sec)	N/A	0.091	0.032	0.049	0.000	0.417	0.000	0.000	5.365	0.095


Problem 201	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	B	B	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	19	19	24	31	36	36	36	22	37	0
N.S.	1	1.00	1.26	1.63	1.89	1.89	1.89	1.16	1.95	0.00
time (sec)	N/A	0.010	0.008	0.056	1.286	0.376	0.405	0.176	5.110	0.001


Problem 202	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	80	80	46	48	46	42	0	0	42	46
N.S.	1	1.00	0.58	0.60	0.58	0.52	0.00	0.00	0.52	0.58
time (sec)	N/A	0.115	0.034	0.050	1.433	0.392	0.000	0.000	5.184	0.042


Problem 203	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	52	52	34	37	34	30	0	0	33	34
N.S.	1	1.00	0.65	0.71	0.65	0.58	0.00	0.00	0.63	0.65
time (sec)	N/A	0.065	0.019	0.056	1.443	0.403	0.000	0.000	5.327	0.040


Problem 204	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	25	25	25	27	14	21	0	0	21	25
N.S.	1	1.00	1.00	1.08	0.56	0.84	0.00	0.00	0.84	1.00
time (sec)	N/A	0.017	0.008	0.048	1.405	0.394	0.000	0.000	5.190	0.036


Problem 205	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	32	32	54	43	0	75	0	47	-1	32
N.S.	1	1.00	1.69	1.34	0.00	2.34	0.00	1.47	-0.03	1.00
time (sec)	N/A	0.011	0.011	0.048	0.000	0.417	0.000	0.191	0.000	0.047


Problem 206	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	59	59	71	66	0	127	0	57	-1	59
N.S.	1	1.00	1.20	1.12	0.00	2.15	0.00	0.97	-0.02	1.00
time (sec)	N/A	0.055	0.071	0.051	0.000	0.411	0.000	0.210	0.000	0.073


Problem 207	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	65	65	81	3347	0	148	0	44	-1	82
N.S.	1	1.00	1.25	51.49	0.00	2.28	0.00	0.68	-0.02	1.26
time (sec)	N/A	0.090	0.042	1.140	0.000	0.560	0.000	0.246	0.000	0.289


Problem 208	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	36	36	59	480	0	101	0	41	-1	53
N.S.	1	1.00	1.64	13.33	0.00	2.81	0.00	1.14	-0.03	1.47
time (sec)	N/A	0.048	0.023	1.237	0.000	0.556	0.000	0.201	0.000	0.220


Problem 209	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	27	27	27	29	26	21	0	23	-1	27
N.S.	1	1.00	1.00	1.07	0.96	0.78	0.00	0.85	-0.04	1.00
time (sec)	N/A	0.040	0.012	0.045	1.421	0.412	0.000	0.204	0.000	0.238


Problem 210	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	56	56	35	37	38	31	0	38	-1	37
N.S.	1	1.00	0.62	0.66	0.68	0.55	0.00	0.68	-0.02	0.66
time (sec)	N/A	0.083	0.019	0.043	1.421	0.397	0.000	0.232	0.000	0.291


Problem 211	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	28	28	28	29	28	26	19	30	25	0
N.S.	1	1.00	1.00	1.04	1.00	0.93	0.68	1.07	0.89	0.00
time (sec)	N/A	0.017	0.005	0.048	1.363	0.382	0.207	0.151	5.209	0.000


Problem 212	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	42	42	42	41	40	41	31	45	38	0
N.S.	1	1.00	1.00	0.98	0.95	0.98	0.74	1.07	0.90	0.00
time (sec)	N/A	0.019	0.005	0.048	1.358	0.390	0.216	0.144	5.724	0.000


Problem 213	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	112	112	94	120	0	171	0	0	-1	109
N.S.	1	1.00	0.84	1.07	0.00	1.53	0.00	0.00	-0.01	0.97
time (sec)	N/A	0.179	0.196	0.047	0.000	0.425	0.000	0.000	0.000	0.334


Problem 214	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	86	86	92	98	0	150	0	0	-1	98
N.S.	1	1.00	1.07	1.14	0.00	1.74	0.00	0.00	-0.01	1.14
time (sec)	N/A	0.127	0.073	0.053	0.000	0.401	0.000	0.000	0.000	0.295


Problem 215	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	56	56	75	78	0	122	0	48	-1	81
N.S.	1	1.00	1.34	1.39	0.00	2.18	0.00	0.86	-0.02	1.45
time (sec)	N/A	0.082	0.050	0.049	0.000	0.409	0.000	0.231	0.000	0.249


Problem 216	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	32	32	59	56	0	74	0	23	-1	49
N.S.	1	1.00	1.84	1.75	0.00	2.31	0.00	0.72	-0.03	1.53
time (sec)	N/A	0.034	0.018	0.051	0.000	0.412	0.000	0.281	0.000	0.176


Problem 217	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	23	23	21	25	0	21	0	27	21	23
N.S.	1	1.00	0.91	1.09	0.00	0.91	0.00	1.17	0.91	1.00
time (sec)	N/A	0.005	0.008	0.048	0.000	0.391	0.000	0.206	5.140	0.144


Problem 218	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	52	52	29	30	0	29	0	27	42	33
N.S.	1	1.00	0.56	0.58	0.00	0.56	0.00	0.52	0.81	0.63
time (sec)	N/A	0.045	0.015	0.054	0.000	0.392	0.000	0.231	5.062	0.171


Problem 219	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	80	80	42	46	0	40	0	43	40	44
N.S.	1	1.00	0.52	0.58	0.00	0.50	0.00	0.54	0.50	0.55
time (sec)	N/A	0.086	0.021	0.044	0.000	0.388	0.000	0.239	5.140	0.182


Problem 220	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	108	108	53	57	0	51	0	57	92	55
N.S.	1	1.00	0.49	0.53	0.00	0.47	0.00	0.53	0.85	0.51
time (sec)	N/A	0.134	0.024	0.046	0.000	0.401	0.000	0.268	5.137	0.184


Problem 221	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	136	136	64	68	0	62	0	71	116	66
N.S.	1	1.00	0.47	0.50	0.00	0.46	0.00	0.52	0.85	0.49
time (sec)	N/A	0.174	0.021	0.046	0.000	0.386	0.000	0.233	5.145	0.209


Problem 222	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	26	26	26	23	22	28	22	32	22	0
N.S.	1	1.00	1.00	0.88	0.85	1.08	0.85	1.23	0.85	0.00
time (sec)	N/A	0.018	0.014	0.045	1.337	0.398	0.221	0.147	0.050	0.000


Problem 223	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	27	27	27	23	22	28	22	32	22	0
N.S.	1	1.00	1.00	0.85	0.81	1.04	0.81	1.19	0.81	0.00
time (sec)	N/A	0.018	0.006	0.050	1.323	0.391	0.233	0.180	5.209	0.001


Problem 224	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	8	8	14	9	14	8	5	15	8	0
N.S.	1	1.00	1.75	1.12	1.75	1.00	0.62	1.88	1.00	0.00
time (sec)	N/A	0.003	0.005	0.043	1.333	0.389	0.072	0.148	5.274	0.000


Problem 225	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	10	10	10	11	16	18	15	16	10	0
N.S.	1	1.00	1.00	1.10	1.60	1.80	1.50	1.60	1.00	0.00
time (sec)	N/A	0.003	0.003	0.034	1.337	0.371	0.078	0.145	0.032	0.000


Problem 226	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	12	12	12	11	16	26	27	16	26	0
N.S.	1	1.00	1.00	0.92	1.33	2.17	2.25	1.33	2.17	0.00
time (sec)	N/A	0.003	0.004	0.046	1.310	0.371	0.088	0.147	0.037	0.000


Problem 227	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	10	10	10	11	10	10	7	10	10	0
N.S.	1	1.00	1.00	1.10	1.00	1.00	0.70	1.00	1.00	0.00
time (sec)	N/A	0.002	0.001	0.043	1.357	0.375	0.077	0.148	0.027	0.000


Problem 228	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	20	20	20	19	21	22	32	0	19	0
N.S.	1	1.00	1.00	0.95	1.05	1.10	1.60	0.00	0.95	0.00
time (sec)	N/A	0.006	0.004	0.045	1.345	0.400	0.635	0.000	5.178	0.018


Problem 229	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	20	20	20	21	40	36	82	0	21	0
N.S.	1	1.00	1.00	1.05	2.00	1.80	4.10	0.00	1.05	0.00
time (sec)	N/A	0.008	0.004	0.043	1.361	0.412	1.027	0.000	5.135	0.016


Problem 230	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	B	B	A	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	20	20	20	21	53	52	119	0	21	0
N.S.	1	1.00	1.00	1.05	2.65	2.60	5.95	0.00	1.05	0.00
time (sec)	N/A	0.009	0.004	0.041	1.402	0.417	1.355	0.000	5.122	0.017


Problem 231	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	B	B	B	B	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	16	16	160	135	134	134	160	134	134	0
N.S.	1	1.00	10.00	8.44	8.38	8.38	10.00	8.38	8.38	0.00
time (sec)	N/A	0.004	0.005	0.048	1.314	0.349	0.118	0.145	5.157	0.000


Problem 232	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	B	B	B	B	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	16	16	160	135	134	134	160	134	134	0
N.S.	1	1.00	10.00	8.44	8.38	8.38	10.00	8.38	8.38	0.00
time (sec)	N/A	0.011	0.020	0.039	1.369	0.344	0.130	0.151	5.156	0.000


Problem 233	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	B	B	B	B	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	16	16	160	135	134	134	160	134	134	0
N.S.	1	1.00	10.00	8.44	8.38	8.38	10.00	8.38	8.38	0.00
time (sec)	N/A	0.012	0.014	0.037	1.312	0.343	0.138	0.149	5.153	0.000


Problem 234	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	B	B	F(-1)	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	27	27	24	339	275	231	0	285	287	196
N.S.	1	1.00	0.89	12.56	10.19	8.56	0.00	10.56	10.63	7.26
time (sec)	N/A	0.015	0.031	0.108	1.428	0.444	0.000	0.515	5.875	0.074


Problem 235	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	B	B	B	B	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	16	16	160	135	134	134	160	134	134	0
N.S.	1	1.00	10.00	8.44	8.38	8.38	10.00	8.38	8.38	0.00
time (sec)	N/A	0.004	0.004	0.047	1.325	0.339	0.128	0.167	0.002	0.000


Problem 236	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	B	B	B	B	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	16	16	160	135	134	134	160	134	134	0
N.S.	1	1.00	10.00	8.44	8.38	8.38	10.00	8.38	8.38	0.00
time (sec)	N/A	0.005	0.006	0.043	1.340	0.342	0.127	0.148	5.188	0.000


Problem 237	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	B	B	B	B	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	16	16	160	135	134	134	160	134	134	0
N.S.	1	1.00	10.00	8.44	8.38	8.38	10.00	8.38	8.38	0.00
time (sec)	N/A	0.004	0.007	0.043	1.347	0.340	0.127	0.164	5.158	0.000


Problem 238	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	B	B	F(-1)	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	27	27	24	287	275	205	0	205	285	196
N.S.	1	1.00	0.89	10.63	10.19	7.59	0.00	7.59	10.56	7.26
time (sec)	N/A	0.008	0.005	0.085	1.481	0.420	0.000	0.271	5.950	0.064


Problem 239	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	B	B	F(-1)	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	27	27	27	126	121	93	0	93	124	91
N.S.	1	1.00	1.00	4.67	4.48	3.44	0.00	3.44	4.59	3.37
time (sec)	N/A	0.010	0.014	0.064	1.406	0.413	0.000	0.199	5.437	0.047


Problem 240	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	B	B	F(-1)	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	27	27	27	39	66	82	0	0	38	0
N.S.	1	1.00	1.00	1.44	2.44	3.04	0.00	0.00	1.41	0.00
time (sec)	N/A	0.014	0.022	0.068	1.401	0.418	0.000	0.000	5.211	0.062


Problem 241	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	15	15	15	14	13	13	10	14	13	0
N.S.	1	1.00	1.00	0.93	0.87	0.87	0.67	0.93	0.87	0.00
time (sec)	N/A	0.005	0.003	0.039	1.288	0.375	0.122	0.147	0.046	0.000


Problem 242	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	15	15	15	14	13	13	10	14	13	0
N.S.	1	1.00	1.00	0.93	0.87	0.87	0.67	0.93	0.87	0.00
time (sec)	N/A	0.006	0.004	0.041	1.273	0.386	0.148	0.145	5.124	0.000


Problem 243	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	15	15	15	14	13	13	10	14	13	0
N.S.	1	1.00	1.00	0.93	0.87	0.87	0.67	0.93	0.87	0.00
time (sec)	N/A	0.005	0.005	0.036	1.368	0.383	0.164	0.146	0.047	0.001


Problem 244	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	B	B	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	19	19	24	31	36	36	36	22	37	0
N.S.	1	1.00	1.26	1.63	1.89	1.89	1.89	1.16	1.95	0.00
time (sec)	N/A	0.005	0.010	0.049	1.334	0.371	0.282	0.191	0.042	0.000


Problem 245	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	B	B	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	19	19	24	31	36	36	36	22	37	0
N.S.	1	1.00	1.26	1.63	1.89	1.89	1.89	1.16	1.95	0.00
time (sec)	N/A	0.006	0.017	0.051	1.290	0.366	0.500	0.173	0.062	0.000


Problem 246	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	B	B	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	19	19	24	31	36	36	36	22	37	0
N.S.	1	1.00	1.26	1.63	1.89	1.89	1.89	1.16	1.95	0.00
time (sec)	N/A	0.006	0.013	0.055	1.306	0.384	0.745	0.150	5.184	0.001


Problem 247	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	24	24	24	23	22	25	19	22	22	0
N.S.	1	1.00	1.00	0.96	0.92	1.04	0.79	0.92	0.92	0.00
time (sec)	N/A	0.011	0.002	0.043	1.359	0.375	0.103	0.154	0.042	0.000


Problem 248	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	40	40	40	35	34	38	37	46	34	0
N.S.	1	1.00	1.00	0.88	0.85	0.95	0.92	1.15	0.85	0.00
time (sec)	N/A	0.023	0.008	0.044	1.318	0.373	0.151	0.169	0.037	0.000


Problem 249	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	50	50	50	45	44	48	49	45	47	0
N.S.	1	1.00	1.00	0.90	0.88	0.96	0.98	0.90	0.94	0.00
time (sec)	N/A	0.021	0.007	0.048	1.322	0.378	0.188	0.150	0.048	0.000


Problem 250	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	B	A	A	B	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD	NO
size	185	185	144	156	124	637	36	112	197	0
N.S.	1	1.00	0.78	0.84	0.67	3.44	0.19	0.61	1.06	0.00
time (sec)	N/A	0.346	0.143	0.108	2.902	1.284	1.542	0.181	5.914	0.000


Problem 251	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	B	B	F(-1)	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	29	29	29	363	325	297	0	269	363	232
N.S.	1	1.00	1.00	12.52	11.21	10.24	0.00	9.28	12.52	8.00
time (sec)	N/A	0.017	0.017	0.211	1.479	0.433	0.000	2.472	6.777	0.095


Problem 252	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	B	A	B	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	16	16	160	135	14	134	160	14	14	0
N.S.	1	1.00	10.00	8.44	0.88	8.38	10.00	0.88	0.88	0.00
time (sec)	N/A	0.003	0.006	0.043	1.329	0.349	0.115	0.150	5.325	0.000


Problem 253	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	B	B	B	B	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	16	16	160	135	134	134	160	134	134	0
N.S.	1	1.00	10.00	8.44	8.38	8.38	10.00	8.38	8.38	0.00
time (sec)	N/A	0.009	0.006	0.044	1.343	0.348	0.127	0.155	0.002	0.000


Problem 254	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	B	B	B	B	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	16	16	160	135	134	134	160	134	134	0
N.S.	1	1.00	10.00	8.44	8.38	8.38	10.00	8.38	8.38	0.00
time (sec)	N/A	0.012	0.008	0.039	1.355	0.346	0.140	0.153	5.222	0.000


Problem 255	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	B	A	B	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	16	16	160	135	14	134	160	14	14	0
N.S.	1	1.00	10.00	8.44	0.88	8.38	10.00	0.88	0.88	0.00
time (sec)	N/A	0.003	0.005	0.039	1.352	0.348	0.111	0.147	5.202	0.000


Problem 256	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	B	B	B	B	B	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	16	16	160	135	134	134	160	134	134	0
N.S.	1	1.00	10.00	8.44	8.38	8.38	10.00	8.38	8.38	0.00
time (sec)	N/A	0.008	0.007	0.042	1.311	0.355	0.131	0.214	0.002	0.000


Problem 257	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	B	A	B	B	A	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	16	16	160	135	14	134	160	14	14	0
N.S.	1	1.00	10.00	8.44	0.88	8.38	10.00	0.88	0.88	0.00
time (sec)	N/A	0.003	0.006	0.043	1.298	0.358	0.117	0.153	5.177	0.000


Problem 258	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	23	23	23	36	37	27	53	0	26	0
N.S.	1	1.00	1.00	1.57	1.61	1.17	2.30	0.00	1.13	0.00
time (sec)	N/A	0.011	0.009	0.051	1.424	0.407	0.675	0.000	5.260	0.011


Problem 259	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	23	23	22	39	27	28	41	0	31	34
N.S.	1	1.00	0.96	1.70	1.17	1.22	1.78	0.00	1.35	1.48
time (sec)	N/A	0.013	0.006	0.053	1.335	0.423	1.810	0.000	5.227	0.034


Problem 260	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	A	A	A	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	15	15	15	41	19	28	39	0	34	18
N.S.	1	1.00	1.00	2.73	1.27	1.87	2.60	0.00	2.27	1.20
time (sec)	N/A	0.008	0.005	0.056	1.369	0.422	2.142	0.000	5.225	0.029


Problem 261	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	22	22	22	32	16	26	20	0	26	30
N.S.	1	1.00	1.00	1.45	0.73	1.18	0.91	0.00	1.18	1.36
time (sec)	N/A	0.010	0.006	0.051	1.321	0.402	1.508	0.000	5.231	0.028


Problem 262	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	A	A	A	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	15	15	15	34	11	26	22	0	28	18
N.S.	1	1.00	1.00	2.27	0.73	1.73	1.47	0.00	1.87	1.20
time (sec)	N/A	0.006	0.004	0.050	1.321	0.405	1.702	0.000	5.203	0.024


Problem 263	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	12	12	12	12	8	8	8	9	8	10
N.S.	1	1.00	1.00	1.00	0.67	0.67	0.67	0.75	0.67	0.83
time (sec)	N/A	0.004	0.003	0.046	1.330	0.389	0.178	0.153	0.096	0.009


Problem 264	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	A	A	B	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	14	14	14	116	17	8	22	18	8	25
N.S.	1	1.00	1.00	8.29	1.21	0.57	1.57	1.29	0.57	1.79
time (sec)	N/A	0.005	0.003	0.436	1.300	0.397	0.374	0.198	5.296	0.013


Problem 265	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	12	12	12	9	8	8	10	32	8	12
N.S.	1	1.00	1.00	0.75	0.67	0.67	0.83	2.67	0.67	1.00
time (sec)	N/A	0.004	0.002	0.044	2.888	0.385	0.259	0.152	0.094	0.012


Problem 266	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	24	24	24	39	31	24	32	0	26	0
N.S.	1	1.00	1.00	1.62	1.29	1.00	1.33	0.00	1.08	0.00
time (sec)	N/A	0.016	0.024	0.162	2.929	0.422	0.445	0.000	5.249	0.013


Problem 267	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	75	75	104	0	0	0	0	0	-1	0
N.S.	1	1.00	1.39	0.00	0.00	0.00	0.00	0.00	-0.01	0.00
time (sec)	N/A	0.114	0.226	0.866	0.000	0.000	0.000	0.000	0.000	0.052


Problem 268	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	99	99	109	0	0	0	0	0	-1	0
N.S.	1	1.00	1.10	0.00	0.00	0.00	0.00	0.00	-0.01	0.00
time (sec)	N/A	0.157	0.067	0.950	0.000	0.000	0.000	0.000	0.000	0.121


Problem 269	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	91	91	103	0	0	0	0	0	-1	0
N.S.	1	1.00	1.13	0.00	0.00	0.00	0.00	0.00	-0.01	0.00
time (sec)	N/A	0.155	0.270	0.761	0.000	0.000	0.000	0.000	0.000	3.301


Problem 270	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	71	71	99	0	0	0	0	0	-1	0
N.S.	1	1.00	1.39	0.00	0.00	0.00	0.00	0.00	-0.01	0.00
time (sec)	N/A	0.076	0.160	0.723	0.000	0.000	0.000	0.000	0.000	0.057


Problem 271	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	87	87	100	0	0	0	0	0	-1	0
N.S.	1	1.00	1.15	0.00	0.00	0.00	0.00	0.00	-0.01	0.00
time (sec)	N/A	0.138	0.286	0.971	0.000	0.000	0.000	0.000	0.000	1.031


Problem 272	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	51	51	46	39	58	97	78	0	-1	51
N.S.	1	1.00	0.90	0.76	1.14	1.90	1.53	0.00	-0.02	1.00
time (sec)	N/A	0.029	0.014	0.044	2.956	0.431	1.776	0.000	0.000	0.051


Problem 273	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	84	84	85	0	0	0	0	0	-1	104
N.S.	1	1.00	1.01	0.00	0.00	0.00	0.00	0.00	-0.01	1.24
time (sec)	N/A	0.171	0.068	0.715	0.000	0.000	0.000	0.000	0.000	1.271


Problem 274	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	61	61	78	0	0	0	0	0	97	83
N.S.	1	1.00	1.28	0.00	0.00	0.00	0.00	0.00	1.59	1.36
time (sec)	N/A	0.083	0.056	0.716	0.000	0.000	0.000	0.000	5.169	0.100


Problem 275	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	85	85	85	0	0	0	0	0	-1	104
N.S.	1	1.00	1.00	0.00	0.00	0.00	0.00	0.00	-0.01	1.22
time (sec)	N/A	0.199	0.074	0.739	0.000	0.000	0.000	0.000	0.000	1.371


Problem 276	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F(-1)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	141	141	131	0	0	0	0	0	-1	0
N.S.	1	1.00	0.93	0.00	0.00	0.00	0.00	0.00	-0.01	0.00
time (sec)	N/A	0.225	0.263	0.868	0.000	0.000	0.000	0.000	0.000	0.135


Problem 277	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F(-1)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	128	128	126	0	0	0	0	0	-1	0
N.S.	1	1.00	0.98	0.00	0.00	0.00	0.00	0.00	-0.01	0.00
time (sec)	N/A	0.209	0.326	0.710	0.000	0.000	0.000	0.000	0.000	6.403


Problem 278	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	104	104	117	0	0	0	0	0	-1	0
N.S.	1	1.00	1.12	0.00	0.00	0.00	0.00	0.00	-0.01	0.00
time (sec)	N/A	0.133	0.173	0.709	0.000	0.000	0.000	0.000	0.000	0.243


Problem 279	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	122	122	120	0	0	0	0	0	-1	0
N.S.	1	1.00	0.98	0.00	0.00	0.00	0.00	0.00	-0.01	0.00
time (sec)	N/A	0.188	0.276	0.687	0.000	0.000	0.000	0.000	0.000	2.396


Problem 280	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	73	73	58	51	73	120	88	0	-1	68
N.S.	1	1.00	0.79	0.70	1.00	1.64	1.21	0.00	-0.01	0.93
time (sec)	N/A	0.041	0.028	0.049	3.001	0.422	3.076	0.000	0.000	0.062


Problem 281	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	117	117	97	0	0	0	0	0	-1	123
N.S.	1	1.00	0.83	0.00	0.00	0.00	0.00	0.00	-0.01	1.05
time (sec)	N/A	0.230	0.078	0.668	0.000	0.000	0.000	0.000	0.000	1.504


Problem 282	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	98	98	94	0	0	0	0	0	-1	108
N.S.	1	1.00	0.96	0.00	0.00	0.00	0.00	0.00	-0.01	1.10
time (sec)	N/A	0.172	0.072	0.696	0.000	0.000	0.000	0.000	0.000	0.143


Problem 283	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F(-1)	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	122	122	100	0	0	0	0	0	-1	123
N.S.	1	1.00	0.82	0.00	0.00	0.00	0.00	0.00	-0.01	1.01
time (sec)	N/A	0.276	0.090	0.708	0.000	0.000	0.000	0.000	0.000	1.687


Problem 284	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	100	100	96	0	0	0	0	0	-1	110
N.S.	1	1.00	0.96	0.00	0.00	0.00	0.00	0.00	-0.01	1.10
time (sec)	N/A	0.212	0.079	0.727	0.000	0.000	0.000	0.000	0.000	0.150


Problem 285	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	51	51	58	47	0	93	0	67	67	59
N.S.	1	1.00	1.14	0.92	0.00	1.82	0.00	1.31	1.31	1.16
time (sec)	N/A	0.077	0.029	0.076	0.000	0.415	0.000	0.162	5.184	3.649


Problem 286	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	42	42	62	61	53	108	0	69	55	61
N.S.	1	1.00	1.48	1.45	1.26	2.57	0.00	1.64	1.31	1.45
time (sec)	N/A	0.023	0.032	0.076	2.935	0.426	0.000	0.169	5.574	3.844


Problem 287	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	51	51	66	55	0	104	0	71	63	69
N.S.	1	1.00	1.29	1.08	0.00	2.04	0.00	1.39	1.24	1.35
time (sec)	N/A	0.065	0.038	0.080	0.000	0.417	0.000	0.191	5.337	4.027


Problem 288	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	61	61	70	74	0	112	0	0	-1	73
N.S.	1	1.00	1.15	1.21	0.00	1.84	0.00	0.00	-0.02	1.20
time (sec)	N/A	0.080	0.022	1.870	0.000	0.419	0.000	0.000	0.000	0.045


Problem 289	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	53	53	66	55	0	98	0	61	67	67
N.S.	1	1.00	1.25	1.04	0.00	1.85	0.00	1.15	1.26	1.26
time (sec)	N/A	0.079	0.031	0.085	0.000	0.401	0.000	0.159	5.182	3.813


Problem 290	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	43	43	68	81	34	118	0	63	54	68
N.S.	1	1.00	1.58	1.88	0.79	2.74	0.00	1.47	1.26	1.58
time (sec)	N/A	0.023	0.034	0.087	2.995	0.419	0.000	0.240	5.384	3.954


Problem 291	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	53	53	73	73	0	109	0	65	63	76
N.S.	1	1.00	1.38	1.38	0.00	2.06	0.00	1.23	1.19	1.43
time (sec)	N/A	0.068	0.042	0.110	0.000	0.401	0.000	0.189	5.354	4.128


Problem 292	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	63	63	78	105	0	118	0	0	-1	81
N.S.	1	1.00	1.24	1.67	0.00	1.87	0.00	0.00	-0.02	1.29
time (sec)	N/A	0.080	0.032	1.987	0.000	0.415	0.000	0.000	0.000	0.096


Problem 293	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	62	62	98	0	0	0	0	0	-1	0
N.S.	1	1.00	1.58	0.00	0.00	0.00	0.00	0.00	-0.02	0.00
time (sec)	N/A	0.108	0.161	0.792	0.000	0.000	0.000	0.000	0.000	0.135


Problem 294	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	53	53	89	0	0	0	0	0	-1	0
N.S.	1	1.00	1.68	0.00	0.00	0.00	0.00	0.00	-0.02	0.00
time (sec)	N/A	0.099	0.169	0.729	0.000	0.000	0.000	0.000	0.000	2.054


Problem 295	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	F	F	F(-2)	F	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	37	37	78	0	0	0	0	0	67	0
N.S.	1	1.00	2.11	0.00	0.00	0.00	0.00	0.00	1.81	0.00
time (sec)	N/A	0.015	0.074	0.709	0.000	0.000	0.000	0.000	5.387	0.030


Problem 296	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	51	51	87	0	0	0	0	0	-1	0
N.S.	1	1.00	1.71	0.00	0.00	0.00	0.00	0.00	-0.02	0.00
time (sec)	N/A	0.085	0.135	0.715	0.000	0.000	0.000	0.000	0.000	0.820


Problem 297	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	31	31	31	26	42	76	27	0	-1	31
N.S.	1	1.00	1.00	0.84	1.35	2.45	0.87	0.00	-0.03	1.00
time (sec)	N/A	0.020	0.007	0.050	2.957	0.418	1.976	0.000	0.000	0.052


Problem 298	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	54	54	68	0	0	0	0	0	-1	70
N.S.	1	1.00	1.26	0.00	0.00	0.00	0.00	0.00	-0.02	1.30
time (sec)	N/A	0.111	0.050	0.724	0.000	0.000	0.000	0.000	0.000	1.124


Problem 299	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	40	40	66	0	0	0	0	0	-1	64
N.S.	1	1.00	1.65	0.00	0.00	0.00	0.00	0.00	-0.02	1.60
time (sec)	N/A	0.074	0.048	0.704	0.000	0.000	0.000	0.000	0.000	0.109


Problem 300	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F(-1)	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	54	54	68	0	0	0	0	0	-1	70
N.S.	1	1.00	1.26	0.00	0.00	0.00	0.00	0.00	-0.02	1.30
time (sec)	N/A	0.136	0.057	0.723	0.000	0.000	0.000	0.000	0.000	1.196


Problem 301	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	107	107	117	0	0	0	0	0	-1	0
N.S.	1	1.00	1.09	0.00	0.00	0.00	0.00	0.00	-0.01	0.00
time (sec)	N/A	0.187	0.199	0.832	0.000	0.000	0.000	0.000	0.000	0.147


Problem 302	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F(-1)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	94	94	109	0	0	0	0	0	-1	0
N.S.	1	1.00	1.16	0.00	0.00	0.00	0.00	0.00	-0.01	0.00
time (sec)	N/A	0.160	0.209	0.731	0.000	0.000	0.000	0.000	0.000	7.599


Problem 303	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	72	72	91	0	0	0	0	0	-1	0
N.S.	1	1.00	1.26	0.00	0.00	0.00	0.00	0.00	-0.01	0.00
time (sec)	N/A	0.088	0.152	0.702	0.000	0.000	0.000	0.000	0.000	0.067


Problem 304	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	F(-2)	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	85	85	104	0	0	0	0	0	-1	0
N.S.	1	1.00	1.22	0.00	0.00	0.00	0.00	0.00	-0.01	0.00
time (sec)	N/A	0.138	0.201	0.738	0.000	0.000	0.000	0.000	0.000	1.434


Problem 305	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	A	A	A	B	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	54	54	40	42	61	148	185	0	-1	54
N.S.	1	1.00	0.74	0.78	1.13	2.74	3.43	0.00	-0.02	1.00
time (sec)	N/A	0.033	0.014	0.051	3.065	0.415	3.721	0.000	0.000	0.067


Problem 306	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	F	F	F(-2)	F(-1)	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	90	90	55	0	0	0	0	0	-1	107
N.S.	1	1.00	0.61	0.00	0.00	0.00	0.00	0.00	-0.01	1.19
time (sec)	N/A	0.194	0.049	0.681	0.000	0.000	0.000	0.000	0.000	1.537


Problem 307	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	F	F	F(-2)	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	72	72	51	0	0	0	0	0	-1	92
N.S.	1	1.00	0.71	0.00	0.00	0.00	0.00	0.00	-0.01	1.28
time (sec)	N/A	0.156	0.043	0.720	0.000	0.000	0.000	0.000	0.000	0.133


Problem 308	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	F	F	F(-2)	F(-1)	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	90	90	55	0	0	0	0	0	-1	107
N.S.	1	1.00	0.61	0.00	0.00	0.00	0.00	0.00	-0.01	1.19
time (sec)	N/A	0.217	0.055	0.694	0.000	0.000	0.000	0.000	0.000	1.639


Problem 309	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	C	F	F	F(-2)	F	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	72	72	51	0	0	0	0	0	-1	94
N.S.	1	1.00	0.71	0.00	0.00	0.00	0.00	0.00	-0.01	1.31
time (sec)	N/A	0.152	0.065	0.730	0.000	0.000	0.000	0.000	0.000	0.145


Problem 310	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	F(-2)	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	32	32	63	477	0	102	0	0	-1	34
N.S.	1	1.00	1.97	14.91	0.00	3.19	0.00	0.00	-0.03	1.06
time (sec)	N/A	0.014	0.025	0.570	0.000	0.568	0.000	0.000	0.000	0.359


Problem 311	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	32	32	59	49	0	80	0	40	-1	58
N.S.	1	1.00	1.84	1.53	0.00	2.50	0.00	1.25	-0.03	1.81
time (sec)	N/A	0.016	0.020	0.194	0.000	0.419	0.000	0.214	0.000	3.536


Problem 312	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	A	F(-1)	F(-2)	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	32	32	63	0	0	102	0	0	-1	64
N.S.	1	1.00	1.97	0.00	0.00	3.19	0.00	0.00	-0.03	2.00
time (sec)	N/A	0.016	0.029	0.115	0.000	0.934	0.000	0.000	0.000	75.148


Problem 313	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	F	F	A	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	37	37	76	0	0	102	0	0	-1	0
N.S.	1	1.00	2.05	0.00	0.00	2.76	0.00	0.00	-0.03	0.00
time (sec)	N/A	0.024	0.050	0.732	0.000	0.429	0.000	0.000	0.000	0.059


Problem 314	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	C	F	A	F	F(-2)	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	33	33	66	471	0	111	0	0	-1	35
N.S.	1	1.00	2.00	14.27	0.00	3.36	0.00	0.00	-0.03	1.06
time (sec)	N/A	0.014	0.033	6.219	0.000	0.539	0.000	0.000	0.000	0.383


Problem 315	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	B	F	A	F	A	F	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	33	33	62	53	0	88	0	47	-1	66
N.S.	1	1.00	1.88	1.61	0.00	2.67	0.00	1.42	-0.03	2.00
time (sec)	N/A	0.015	0.023	0.190	0.000	0.417	0.000	0.187	0.000	3.664


Problem 316	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	A	F(-1)	F(-2)	F	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	33	33	66	0	0	111	0	0	-1	72
N.S.	1	1.00	2.00	0.00	0.00	3.36	0.00	0.00	-0.03	2.18
time (sec)	N/A	0.016	0.028	0.157	0.000	0.929	0.000	0.000	0.000	74.851


Problem 317	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	F	F	A	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	38	38	78	0	0	106	0	0	-1	0
N.S.	1	1.00	2.05	0.00	0.00	2.79	0.00	0.00	-0.03	0.00
time (sec)	N/A	0.023	0.059	1.377	0.000	0.426	0.000	0.000	0.000	0.094


Problem 318	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	F	F	F(-2)	F	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	37	37	78	0	0	0	0	0	67	0
N.S.	1	1.00	2.11	0.00	0.00	0.00	0.00	0.00	1.81	0.00
time (sec)	N/A	0.023	0.103	0.760	0.000	0.000	0.000	0.000	5.209	0.083


Problem 319	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	F	F	A	F	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	37	37	78	0	0	109	0	0	67	0
N.S.	1	1.00	2.11	0.00	0.00	2.95	0.00	0.00	1.81	0.00
time (sec)	N/A	0.019	0.040	2.102	0.000	0.435	0.000	0.000	5.323	0.064


Problem 320	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	F	F	F(-2)	F	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	37	37	78	0	0	0	0	0	67	0
N.S.	1	1.00	2.11	0.00	0.00	0.00	0.00	0.00	1.81	0.00
time (sec)	N/A	0.018	0.029	0.720	0.000	0.000	0.000	0.000	5.127	0.062


Problem 321	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	F	F	F(-2)	F	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	38	38	80	0	0	0	0	0	66	0
N.S.	1	1.00	2.11	0.00	0.00	0.00	0.00	0.00	1.74	0.00
time (sec)	N/A	0.021	0.106	0.696	0.000	0.000	0.000	0.000	5.166	0.049


Problem 322	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	F	F	A	F	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	38	38	80	0	0	109	0	0	66	0
N.S.	1	1.00	2.11	0.00	0.00	2.87	0.00	0.00	1.74	0.00
time (sec)	N/A	0.020	0.025	2.152	0.000	0.436	0.000	0.000	5.102	0.065


Problem 323	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	B	F	F	F(-2)	F	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	38	38	80	0	0	0	0	0	66	0
N.S.	1	1.00	2.11	0.00	0.00	0.00	0.00	0.00	1.74	0.00
time (sec)	N/A	0.019	0.028	0.694	0.000	0.000	0.000	0.000	5.117	0.064


Problem 324	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	18	18	19	16	0	16	0	50	15	18
N.S.	1	1.00	1.06	0.89	0.00	0.89	0.00	2.78	0.83	1.00
time (sec)	N/A	0.007	0.006	0.047	0.000	0.387	0.000	0.185	5.262	0.025


Problem 325	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	F	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	20	20	20	18	0	19	0	11	27	20
N.S.	1	1.00	1.00	0.90	0.00	0.95	0.00	0.55	1.35	1.00
time (sec)	N/A	0.003	0.010	0.054	0.000	0.428	0.000	0.172	5.322	0.040


Problem 326	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	8	8	8	7	6	6	7	6	6	8
N.S.	1	1.00	1.00	0.88	0.75	0.75	0.88	0.75	0.75	1.00
time (sec)	N/A	0.004	0.002	0.044	3.144	0.391	0.213	0.155	5.244	0.012


Problem 327	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F(-1)	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	25	25	25	29	14	28	0	27	22	25
N.S.	1	1.00	1.00	1.16	0.56	1.12	0.00	1.08	0.88	1.00
time (sec)	N/A	0.010	0.013	0.050	1.463	0.377	0.000	0.169	5.231	0.021


Problem 328	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	25	25	25	29	14	28	0	27	29	25
N.S.	1	1.00	1.00	1.16	0.56	1.12	0.00	1.08	1.16	1.00
time (sec)	N/A	0.011	0.003	0.044	1.427	0.383	0.000	0.163	5.258	0.024


Problem 329	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	25	25	25	29	14	28	0	14	22	25
N.S.	1	1.00	1.00	1.16	0.56	1.12	0.00	0.56	0.88	1.00
time (sec)	N/A	0.008	0.012	0.053	1.465	0.392	0.000	0.186	5.211	0.021


Problem 330	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	A	F	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	44	44	43	0	0	64	0	0	76	0
N.S.	1	1.00	0.98	0.00	0.00	1.45	0.00	0.00	1.73	0.00
time (sec)	N/A	0.015	0.039	0.856	0.000	0.646	0.000	0.000	5.303	0.083


Problem 331	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	A	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	44	44	43	0	0	61	0	0	-1	0
N.S.	1	1.00	0.98	0.00	0.00	1.39	0.00	0.00	-0.02	0.00
time (sec)	N/A	0.015	0.003	0.848	0.000	0.410	0.000	0.000	0.000	0.022


Problem 332	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	A	F(-1)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	46	46	45	0	0	76	0	0	-1	0
N.S.	1	1.00	0.98	0.00	0.00	1.65	0.00	0.00	-0.02	0.00
time (sec)	N/A	0.075	0.046	0.908	0.000	0.426	0.000	0.000	0.000	0.108


Problem 333	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	A	F(-1)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	46	46	45	0	0	79	0	0	-1	0
N.S.	1	1.00	0.98	0.00	0.00	1.72	0.00	0.00	-0.02	0.00
time (sec)	N/A	0.045	0.005	0.882	0.000	0.432	0.000	0.000	0.000	0.105


Problem 334	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F(-1)	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	44	44	36	40	17	44	0	0	-1	43
N.S.	1	1.00	0.82	0.91	0.39	1.00	0.00	0.00	-0.02	0.98
time (sec)	N/A	0.018	0.033	0.188	1.551	0.412	0.000	0.000	0.000	0.065


Problem 335	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F(-1)	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	44	44	36	40	17	44	0	0	-1	43
N.S.	1	1.00	0.82	0.91	0.39	1.00	0.00	0.00	-0.02	0.98
time (sec)	N/A	0.017	0.033	0.079	1.495	0.405	0.000	0.000	0.000	0.092


Problem 336	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	A	A	A	F(-1)	F	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	44	44	36	40	17	44	0	0	-1	43
N.S.	1	1.00	0.82	0.91	0.39	1.00	0.00	0.00	-0.02	0.98
time (sec)	N/A	0.018	0.033	0.069	1.580	0.415	0.000	0.000	0.000	0.083


Problem 337	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	A	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	57	57	47	0	0	47	0	0	-1	0
N.S.	1	1.00	0.82	0.00	0.00	0.82	0.00	0.00	-0.02	0.00
time (sec)	N/A	0.028	0.023	0.720	0.000	0.424	0.000	0.000	0.000	0.096


Problem 338	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	A	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	61	61	45	0	0	54	0	0	-1	0
N.S.	1	1.00	0.74	0.00	0.00	0.89	0.00	0.00	-0.02	0.00
time (sec)	N/A	0.025	0.027	0.726	0.000	0.434	0.000	0.000	0.000	0.135


Problem 339	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	A	F(-1)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	39	39	40	0	0	76	0	0	-1	0
N.S.	1	1.00	1.03	0.00	0.00	1.95	0.00	0.00	-0.03	0.00
time (sec)	N/A	0.050	0.026	1.269	0.000	0.445	0.000	0.000	0.000	0.136


Problem 340	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	I.A.

grade	A	A	A	F	F	A	F(-1)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	Yes
size	40	40	38	0	0	64	0	0	-1	0
N.S.	1	1.00	0.95	0.00	0.00	1.60	0.00	0.00	-0.02	0.00
time (sec)	N/A	0.074	0.045	0.869	0.000	0.412	0.000	0.000	0.000	0.135

[next] [prev] [prev-tail] [front] [up]